#

عنوان علاقمندى

تاریخ آغاز فعالیت

1

یادگیری ماشین

2

آزمون نرم افزار

3

الگوریتم های تکاملی و زیستی

4

توصیف صوری

#

عناوین طرح‌هاى پژوهشى

مجریان

سازمان حامى

محل اجرا

وضعیت طرح

تاریخ تکمیل

1

سامانه اکانتینگ سرورهای آزمایشگاه مرکزی دانشگاه خوارزمی

در حال اجرا

-

#

عناوین کنفرانس‌ها

تاریخ همکارى و توضیحات

1

• کنفرانس CSICC2022

2022

2

• کنفرانس CSICC2018

2018

#

عناوین کارگاه‌ها و دوره‌هاى آموزشى

سازمان برگزار کننده

محل برگزارى

تاریخ برگزارى

1

Model-Based Design and Test for Embedded Software, 11th Conference on Information and Knowledge Technology (IKT 2020), IEEE Computer Society

دانشگاه شهید بهشتی

2020

2

کلیدهای طلایی کار تیمی

مرکز کارآفرینی دانشگاه شریف

دانشگاه صنعتی شریف

1390

3

تکنسین عمومی شبکه¬های کامپیوتری

سازمان فنی و حرفه ای کشور

دانشگاه کاشان

1389

#

عنوان درس

توصیف درس

سرفصل ها

دوره درسی

توضیحات

فایل

1

سمینار

کارشناسی ارشد

کد دانشکده:17
کد گروه درسی:11
کد درس:890
گروه درس:03
تعداد دانشجو:1
تعداد واحد2
روز:
زمان شروع کلاس:
زمان پایان کلاس:
نام ساختمان:
نام کلاس:

2

مهندسی نرم افزار پیشرفته

پیش نیاز: مهندسی نرم افزار

این درس برای دانشجویان کارشناسی ارشد و دکتری ارائه می‌شود و هدف از آن پرداختن به مباحث پیشرفته در ارتباط با مهندسی نرم‌افزار است. در این درس روش‌های جدید در مورد هر یک از مراحل چرخه حیات نرم‌افزار مورد بحث قرار می‌گیرند که از آن جمله می‌توان به استفاده از روش‌های صوری در ثبت نیازها، روش مبتنی بر خانواده در تجزیه و تحلیل و طراحی و پیاده‌سازی، مهندسی امنیت، روش مبتنی بر جنبه و روش مبتنی بر خدمت اشاره نمود. ابزارهای لازم برای به کارگیری این روش‌ها به اختصار و در حد امکان معرفی می‌گردند.

کارشناسی ارشد

<strong>کد دانشکده:</strong>17</br><strong>کد گروه درسی:</strong>11</br><strong>کد درس:</strong>997</br><strong>گروه درس:</strong>17</br><strong>تعداد دانشجو:</strong>10</br><strong>تعداد واحد</strong>3</br><strong>روز:</strong>دوشنبه</br><strong>زمان شروع کلاس:</strong>08:00</br><strong>زمان پایان کلاس:</strong>09:30</br><strong>نام ساختمان:</strong>دانشکده فنی مهندسی (روانشناسی قدیم)</br><strong>نام کلاس:</strong>105-دانشکده فنی طبقه همکف</br>

3

پروژه نرم افزار

کارشناسی

کد دانشکده:17
کد گروه درسی:11
کد درس:125
گروه درس:03
تعداد دانشجو:6
تعداد واحد3
روز:
زمان شروع کلاس:
زمان پایان کلاس:
نام ساختمان:
نام کلاس:

4

بازیابی پیشرفته اطلاعات

کارشناسی

کد دانشکده:17
کد گروه درسی:11
کد درس:601
گروه درس:14
تعداد دانشجو:40
تعداد واحد3
روز:چهارشنبه
زمان شروع کلاس:10:00
زمان پایان کلاس:11:30
نام ساختمان:دانشکده فنی مهندسی (روانشناسی قدیم)
نام کلاس:103-دانشکده فنی طبقه همکف

5

بازیابی پیشرفته اطلاعات

کارشناسی

کد دانشکده:17
کد گروه درسی:11
کد درس:601
گروه درس:14
تعداد دانشجو:40
تعداد واحد3
روز:سه شنبه
زمان شروع کلاس:10:00
زمان پایان کلاس:11:30
نام ساختمان:دانشکده فنی مهندسی (روانشناسی قدیم)
نام کلاس:103-دانشکده فنی طبقه همکف

6

تحلیل و طراحی سیستم ها

کارشناسی

کد دانشکده:17
کد گروه درسی:11
کد درس:029
گروه درس:14
تعداد دانشجو:31
تعداد واحد3
روز:چهارشنبه
زمان شروع کلاس:15:30
زمان پایان کلاس:17:00
نام ساختمان:دانشکده فنی مهندسی (روانشناسی قدیم)
نام کلاس:228- دانشکده فنی طبقه اول

7

تحلیل و طراحی سیستم ها

کارشناسی

کد دانشکده:17
کد گروه درسی:11
کد درس:029
گروه درس:14
تعداد دانشجو:31
تعداد واحد3
روز:سه شنبه
زمان شروع کلاس:13:30
زمان پایان کلاس:15:00
نام ساختمان:دانشکده فنی مهندسی (روانشناسی قدیم)
نام کلاس:228- دانشکده فنی طبقه اول

8

طراحی کامپایلرها

کارشناسی

کد دانشکده:17
کد گروه درسی:11
کد درس:174
گروه درس:14
تعداد دانشجو:44
تعداد واحد3
روز:چهارشنبه
زمان شروع کلاس:08:00
زمان پایان کلاس:09:30
نام ساختمان:دانشکده فنی مهندسی (روانشناسی قدیم)
نام کلاس:102-دانشکده فنی طبقه همکف

9

طراحی کامپایلرها

کارشناسی

کد دانشکده:17
کد گروه درسی:11
کد درس:174
گروه درس:14
تعداد دانشجو:44
تعداد واحد3
روز:دوشنبه
زمان شروع کلاس:15:30
زمان پایان کلاس:17:00
نام ساختمان:دانشکده فنی مهندسی (روانشناسی قدیم)
نام کلاس:102-دانشکده فنی طبقه همکف

10

برنامه سازی کامپیوتر

کارشناسی

کد دانشکده:17
کد گروه درسی:15
کد درس:004
گروه درس:10
تعداد دانشجو:35
تعداد واحد3
روز:سه شنبه
زمان شروع کلاس:08:00
زمان پایان کلاس:09:30
نام ساختمان:دانشکده فنی مهندسی (روانشناسی قدیم)
نام کلاس:103-دانشکده فنی طبقه همکف

11

برنامه سازی کامپیوتر

کارشناسی

کد دانشکده:17
کد گروه درسی:15
کد درس:004
گروه درس:10
تعداد دانشجو:35
تعداد واحد3
روز:دوشنبه
زمان شروع کلاس:08:00
زمان پایان کلاس:09:30
نام ساختمان:دانشکده فنی مهندسی (روانشناسی قدیم)
نام کلاس:103-دانشکده فنی طبقه همکف

12

مهندسی نرم افزار

هدف از این درس پرداختن به نکات مهندسی است که در کلیه مراحل تولید نرم‌افزار باید رعایت گردد. دانشجویان با مباحث ساخت نرم‌افزار(برنامه‌سازی) ، تجزیه و تحلیل نیازمندی‌ها و طراحی نرم‌افزار در درس‌های قبلی آشنا شده‌اند. در این درس هدف آموزش روش جدیدی برای تجزیه و تحلیل نیازها و یا طراحی نرم‌افزار نیست، بلکه هدف آموزش تولید نرم‌افزار به صورت یک محصول مهندسی است، مانند سایر محصولاتی که در سایر رشته‌های مهندسی تولید می‌گردد. در این درس ابتدا تفاوت محصولی که به روش مهندسی تولید می‌گردد با محصولی که به روش هنری تولید می‌شود بیان می‌شود، سپس انتظاراتی که یک محصول مهندسی باید برآورده سازد تشریح می‌گردد. در ادامه درس با تاکید بر روش‌های مهندسی تولید از جمله مدل‌سازی، قابل اندازه‌گیری و ارزیابی بودن، درستی‌یابی و اعتبارسنجی محصولات بینابینی، مروری بر دست‌آوردهای علمی در این زمینه در کلیه مراحل تولید نرم‌افزار انجام می‌شود. با توجه به اینکه در درس‌های قبلی دانشجویان با مباحث توصیف صوری نیازها، اندازه‌گیری، تخمین و آزمون کم‌تر آشنا شده‌اند در این درس این فصول مورد تاکید بیشتر قرار می‌گیرد. در انتها فعالیت‌های حمایتی از جمله مدیریت پروژه، زمان‌بندی، مدیریت ریسک، مدیریت پیکربندی و تضمین کیفیت با تاکید بر تاثیر آن‌ها در تولید نرم‌افزار به صورت مهندسی مرور می‌شود.

کارشناسی

<strong>کد دانشکده:</strong>17</br><strong>کد گروه درسی:</strong>11</br><strong>کد درس:</strong>126</br><strong>گروه درس:</strong>15</br><strong>تعداد دانشجو:</strong>28</br><strong>تعداد واحد</strong>3</br><strong>روز:</strong>یک شنبه</br><strong>زمان شروع کلاس:</strong>15:30</br><strong>زمان پایان کلاس:</strong>17:00</br><strong>نام ساختمان:</strong>دانشکده فنی مهندسی (روانشناسی قدیم)</br><strong>نام کلاس:</strong>231-دانشکده فنی طبقه اول</br>

13

روش های رسمی درمهندسی نرم افزار

این درس برای دانش‌جویان کارشناسی ارشد و دکتری ارایه می‌شود و هدف از آن پرداختن به روش‌های صوری برای توصیف و وارسی سیستم‌ها است. در این درس ابزارهای لازم برای به کارگیری این روش‌ها معرفی و در مورد رابطه بین توصیف صوری و پیاده‌سازی به طور اختصار بحث می‌گردد.

کارشناسی

<strong>کد دانشکده:</strong>17</br><strong>کد گروه درسی:</strong>11</br><strong>کد درس:</strong>155</br><strong>گروه درس:</strong>16</br><strong>تعداد دانشجو:</strong>32</br><strong>تعداد واحد</strong>3</br><strong>روز:</strong>یک شنبه</br><strong>زمان شروع کلاس:</strong>13:30</br><strong>زمان پایان کلاس:</strong>15:00</br><strong>نام ساختمان:</strong>دانشکده فنی مهندسی (روانشناسی قدیم)</br><strong>نام کلاس:</strong>232- دانشکده فنی طبقه اول</br>

14

مهندسی اینترنت

هدف از این درس، آشنایی دانش‌جویان با مفاهیم اولیه و اصول طراحی نرم‌افزارهای تحت وب است. در این درس، دانش‌جویان علاوه بر آشنایی اولیه با برنامه‌نویسی سمت کاربر و سمت کارگزار و نحوه‌ی تعامل این دو، با یکی از چارچوب‌های پرکاربرد برای پیاده‌سازی نرم‌افزارهای تحت وب آشنا می‌شوند

کارشناسی

<strong>کد دانشکده:</strong>17</br><strong>کد گروه درسی:</strong>11</br><strong>کد درس:</strong>068</br><strong>گروه درس:</strong>16</br><strong>تعداد دانشجو:</strong>47</br><strong>تعداد واحد</strong>3</br><strong>روز:</strong>دوشنبه</br><strong>زمان شروع کلاس:</strong>15:30</br><strong>زمان پایان کلاس:</strong>17:00</br><strong>نام ساختمان:</strong>دانشکده فنی مهندسی (روانشناسی قدیم)</br><strong>نام کلاس:</strong>134-دانشکده فنی طبقه همکف</br>

#

عناوین دروس

مکان و تاریخ تدریس

1

مهندسی اینترنت

2

اصول طراحی کامپایلرها

3

برنامه نویسی موبایل

4

مهندسی نرم افزار

5

برنامه نویسی موبایل

6

تحلیل و طراحی سیستم ها

7

آزمون نرم افزار

8

روش های رسمی در تولید نرم افزار

#

عنوان

نگارندگان

عنوان مجله

سال انتشار

1

Using Static Information of Programs to Partition the Input Domain in Search-based Test Data Generation.

Atieh Monemi --- Hassan Haghighi

Information Systems & Telecommunication

2

Analyzing program conditional statements to reduce the input domain in test data generation

Atieh Monemi and Hassan Haghighi

.” Journal of Systems and Software

2020

3

Using Static Information of Programs to Partition the Input Domain in Search-based Test Data Generation.

Atieh Monemi and Hassan Haghighi

Information Systems & Telecommunication

2020

4

Augmenting ant colony optimization with adaptive random testing to cover prime paths

, Hassan Haghighi

JOURNAL OF SYSTEMS AND SOFTWARE

#

عنوان

نگارندگان

مشخصات کنفرانس

سال برگزارى

نوع ارائه

1

A new approach for search space reduction and seeding by analysis of the clauses

Atieh Monemi, Hassan Haghighi

International Symposium on Search Based Software Engineering

2018

شفاهى

2

new approach for search space reduction and seeding by analysis of the clauses

Atieh Monemi---Hassan Haghighi,

International Symposium on Search Based Software Engineering

2018

شفاهى

3

“Classification of the search space in search-based test data generation

Atieh Monemi--- Hassan Haghighi --- Hamideh Sabouri;

CSICC 2017(Persian)

2017

شفاهى

4

Using Swarm Intelligence to Generate Test Data for Covering Prime Path

,Atieh Monemi---Hassan Haghighi---Tahere Zohdi-Nasab --- Hamideh Sabouri

7th IPM International Conference on Fundamentals of Software Engineering - Iran

2017

شفاهى

5

Using Swarm Intelligence to Generate Test Data for Covering Prime Paths

Atieh Monemi, Hassan Haghighi, Tahere Zohdi-Nasab and Hamideh Sabouri

International Conference on Fundamentals of Software Engineering. Published in Springer Berlin Heidelberg

2017

شفاهى

6

Data Mining on the Education Database of Kashan University by GRI Method and Analyzing Outcomes

Atieh Monemi---Ahmad Yoosofan---Aboulfazl Khedmati

The Seventh Iran Data Mining Conference/IDMC 2013, Tehran, Iran (Persian)

2013

شفاهى

7

کلاسه بندی فضای جستجو در روش مبتنی بر جستجوی تولید داده آزمون

عطیه منعمی بیدگلی، حسن حقیقی

کنفرانس انجمن کامپیوتر

1395

شفاهى

8

داده کاوی روی داده های آموزش دانشگاه کاشان به روش GRI و تحلیل نتیجه ها

عطیه منعمی بیدگلی، احمد یوسفان، ابوالفضل خدمتی؛

هفتمین کنفرانس داده کاوی ایران، تهران، ایران

1392

شفاهى